Known vulnerabilities in frama-c-dbgsym (Debian package) 20170501+phosphorus+dfsg-2+b3

20151002+magnesium+dfsg-1 20151002+magnesium+dfsg-1+b1 20151002+magnesium+dfsg-1+b2 20151002+magnesium+dfsg-1+b3 20151002+magnesium+dfsg-1+b4 20161101+silicon+dfsg-1 20161101+silicon+dfsg-2 20161101+silicon+dfsg-3 20161101+silicon+dfsg-4 20161101+silicon+dfsg-5 20161101+silicon+dfsg-5+b1 20161101+silicon+dfsg-5+b2 20161101+silicon+dfsg-6 20170501+phosphorus+dfsg-1 20170501+phosphorus+dfsg-2 20170501+phosphorus+dfsg-2+b1 20170501+phosphorus+dfsg-2+b2 20170501+phosphorus+dfsg-2+b3 20171101+sulfur+dfsg-1